spark toolset造句

MALPAS was used for the analysis of this software, apart from the Mission Computer software, which was written in Spark Ada and verified with the Spark Toolset.
A distinguishing feature of the former Praxis office's is its extensive use of formal methods such as the Z notation and the SPARK toolset ( acquired through the takeover of the developers Program Validation Limited in 1994 ) in its approach to improving the reliability of software engineering.
It's difficult to find spark toolset in a sentence. 用spark toolset造句挺难的